TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT o Cn ' Abstract. We give the first transcendence results for the Rosen con- . , tinned fractions. Introduced over half a century ago, these fractions ^^Z ' expand real numbers in terms of certain algebraic numbers. m f— ( ■ 1. Introduction In 1954, D. Rosen defined an infinite family of continued fraction algo- rithms [2D]- Introduced to aid in the study of certain Fuchsian groups, these continued fractions were applied some thirty years later by J. Lehner [13] in the study of Diophantine approximation by orbits of these groups. K^ , The Rosen continued fractions and variants have been of recent inter- O ! est, leading to results especially about their dynamical and arithmetical (^ ! properties, see [9], [18], [H]; as well on their applications to the study . . of geodesies on related hyperbolic surfaces, see [23], [8], [17]; and to Te- (^ ■ ichm tiller geodesies arising from (Veech) translation surfaces, see [2B], [S], O' [25] and [6]. Several basic questions remain open, including that of arith- metically characterizing the real numbers having a finite Rosen continued fraction expansion, see [ISj, [13] and [B]. Background on Rosen continued ^ ' fractions is given in the next section. The first transcendence criteria for regular continued fractions were proved by E. Maillet, H. Davenport and K. F. Roth, A. Baker, and recently im- proved by B. Adamczewski and Y. Bugeaud, see [H |2| and the references Date: 24 June 2010. 2000 Mathematics Subject Classification. 11J70, 11J81 . Key words and phrases. Rosen continued fractions, Liouville inequality, Hecke groups, transcendence. The second named author is partially supported by project blanc ANR: ANR-06- BLAN-0038. The third author thanks FRUMAN, Marseille and the Universite P. Cezanne. 1 2 YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT given there. In particular, Theorem 4.1 of [2] asserts that, if ^ is an alge- braic irrational number with sequence of convergents {pn/<in)n>i^ then the sequence {qn)n>i cannot increase too rapidly. It is natural to ask whether similar transcendence results can be proven using Rosen continued fractions. We give the first such results. Theorem 1.1. Fix A = 2cos7r/?7i for an integer m > 3 , and denote the field extension degree [Q(A) : Q] by D. If a real number C, ^ Q(A) has an infinite expansion in Rosen continued fraction over Q(A) of convergents Pn/qn satisfying log log g„ limsup > log(2L' — 1) , n— >oo ^ then E, is transcendental. For stating our second result, we associate to the Rosen continued fraction expansion [ei{x) : ri{x), e2{x) : r2(x), . . . , £„(x) : r„(x), . . .] £i riA ^2 rsA + ■ ■ ■ of a real number x the sequence of pairs of integers (^j, rj)j>i, which we call the partial quotients, and thus consider A = {±1} x N as the alphabet of the Rosen continued fraction expansions. As usual, we denote the length of a finite word U = ui ■ ■ ■ Uk a.s \U\ = k. For any positive integer s, we write [/* for the word U . . .U {s times repeated concatenation of the word U). More generally, for any positive real number s, we denote by U^ the word U^^^U', where U' is the prefix of U of length \is-[s\)\U\]. Just as Adamczewski and Bugeaud [1] showed for regular continued frac- tion expansions, a real number whose Rosen continued fraction expansion is appropriately "stammering" must be transcendental. Theorem 1.2. Fix A = 2cos7r/m- for an integer m > 3 , and denote the field extension degree [Q(A) : Q] by D. Let C, be an infinite Rosen continued fraction with convergents {Pn/qn)n>i such that B := lim sup g^" < +oo . TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS 3 Write b := liminf g^" . n Assume that there are two infinite sequences {Un)n>i cind (\4,)n>i of finite words over the alphabet A and an infinite sequence {Wn)n>i of real numbers greater than 1 such that, forn > 1, the word UnV^^ is a prefix of the infinite word composed of the partial quotients of C,- If /,x ,. \Un\+Wn\Vn\ 3D \og B ( 1 ) ^im sup ; ; ; > ■ , ^ ^ n^+oo 2\Un\ + \Vn\ 2 log 6 ' then ^ is either (at most) quadratic over Q(A) or is transcendental. Lemma [2.11 gives that log 6 is positive. The key to our proofs is that both numerator and denominator of a Rosen convergent dominate their respective conjugates in an appropriate fashion, see Lemma 13.11 From this one can bound the height of a Rosen convergent in terms of its denominator, see Lemma 13.21 Then, exactly as in the case of regular continued fractions, we apply tools from Diophantine approximation, namely an extension to number fields of the Roth theorem, for the proof of Theorem II. H and the Schmidt Subspace Theorem for the proof of Theorem 11.21 Both theorems are weaker than their analogues for regular continued frac- tions, since we have to work in a number field of degree D rather than in the field Q. However, for m = 4 and m = 6, that is, for A4 = ^/2 and Ag = v^, our results can be considerably strengthened and we can get, essentially, the exact analogues of the results established for the regular continued fractions. The key point is that, in both cases, for every convergent Pn/Qn, exactly one of Pn, Qn is in Z, the other being in XL , see Remark 2 below. 2. Background 2.1. Rosen fractions. We set A = Am = 2 cos— and Im = [—A/2, A/2) for m > 3. For a fixed integer m > 3, the Rosen continued fraction map is 4 YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT defined by T{x) = [o x = for X G Im! here and below, we omit tlie index "m" wlienever it is clear from context. For n > 1, we define en{x) = e(r"-V) and r„(x) = r{T''-\) with e{y) = sgn{y) and r{y) = Ay Then, as Rosen showed in [2U], the Rosen continued fraction expansion of X is given by >i(x) : ri(x), e2{x) : r2(x), . . . , en{x) : r„(x), ...]:= As usual we define the convergents Pn/Qn of x G I^ by riA + £2 r2\ P^i Po 1 1 and ei WO 62 1 ArJ ll Xr2 En 1 Xrr^ Pn-l Pn for n > 1. From this definition it is immediate that IPn-iQn — Qn-iPnl = Ij and that the well-known recurrence relations p_i = 1; Po = 0; Pn = Ar„p„„i + enPn-2, n>l g_i = 0; go = 1; Qn = Ar„g„_i + €nqn-2, n > 1, hold. It also follows that (2) giving (3) Pn-l qn-1 Pn Qn Pn Qn 1 W 1 ^n ^fnj \£n-l Ar„_i [ei : n, 62 : r2, . . . , En : r„] 1 El Ari TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS and (4) ^^ = [ 1 : r„, £„ : r„_i, . . . , £2 : '^i] • Pn^l Vn We define (5) M„ = ( ^"^' ^" ) , and find that a; = M„ ■ T"(x) where ■ denotes the usual fractional linear operation, namely _ Pn-lT'^{x) +Pn g„_iT"(x) + Qn ' 2.2. Approximation with Rosen fractions. We briefiy discuss the con- vergence of the "convergents" to x. One can rephrase some of Rosen's original arguments in terms of the (standard number theoretic) natural ex- tension map T(x, y) = {T{x), ^^]_^ ) where r = ri(x) and e = ei{x) . The "mirror formula" Equation (j4]) shows that T"'{x,y) = ( T" (x) , ^^^^^ ) . Ex- tending earlier work of H. Nakada, it is shown in [9] that T(x, y) has planar domain with y-coordinates between and R = -R(A) , where i? = 1 if the in- dex m is even and, otherwise, R is the positive root of i?^ + (2 — X)R — 1 = , in which case we have 1 > i? > A/2 (see Lemma 3.3 of [9]). Therefore, the sequence (g„)„>i is strictly increasing. But, as Rosen mentions, if x has infinite expansion, then either £„ = 1 or r„ > 1 occurs infinitely often; from this one has both that ^n > 1 for all n and that the limit as n tends to infinity of g„ is infinite. One easily adapts Rosen's arguments so as to find the following. Lemma 2.1. For every x G !,„ of infinite expansion, we have hm inf g^" > 1 . n Proof. We know that the sequence {qn)n>i increases and that, if either e„ = 1 or r„ > 1, then g„ > Ag„_i. Furthermore, there are no more than h consecutive indices i with {ei,ri) = (—1,1), with h = m/2,{m — 3)/2 depending on the parity of m (see [20] or [5]). Consequently, for any n, there is some i = 1, . . . ,h + 1 such that qn+i > Ag„+j_i, giving Qn+h+l > Qn+i > ^Qn+i-l > Ag„ • YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT 1 As gi > A, letting s{n this proves the lemma. 1 + n h , we have g„ > A'^''"^ Since A > 1, n Remark 1. In fact, H. Nakada [19] shows that for almost all such x, liuin^r^ — log Qn exists, being equal to one half of the entropy of T. He also n shows that the entropy equals C ■ {m — 2)7r^/(2m), where C = 1/ log(l + R) when m is odd, and equals l/log[(l + cos7r/m)/sin7r/m] when m is even. This C is the normalizing constant to give a probability measure on the domain of the planar natural extension T, see [9]. Rosen also gave bounds on | x—pn/qn \ ■ Using Equation (^ (as in Nakada X Pn one has the easy lower bound „2 I 1n+l _|_ T^71+l™ Qn (g„,+l + Qn One also finds in this manner Pn < (6) Qn < X Cl Pn qn QnQn+1 with Cl = Ci(A) = 2/(2 — RX) . Thus convergence does hold. Theorems 4.4 and 4.5 (depending on parity of m) of [9] give C2 such that I ^ " Pn/ln I < (^2/0^ ) with the upper bound C2 < 1/2 + [m/4] . 2.3. Traces in Hecke groups. Rosen introduced his continued fractions to study the Hecke groups. The Hecke (triangle Fuchsian) group Gm with m G {3, 4, 5, . . . } is the group generated by 1 A. and 4 ^0 1 J \l with Am as above. The Rosen expansion of a real number terminates at a finite term if and only if a; is a parabolic fixed point of Gm , see [20]. These points are clearly contained in Q(Am) but in general there are elements of this field that have infinite Rosen expansion, see [15], [13] and [6]. TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS 7 Remark 2. The values of finite Rosen expansion form the set Gq- oo, which is in fact a subset of A Q(A^) U {c)o}. To see this, one uses induction on word length in the generators displayed above — an ordered pair (a, c) giving a column of any element of Gq must be such that exactly one element of the pair is in Z[A^] , and the other is in AZ[A^] . Note that this also applies to convergents Pn/Qn'- exactly one oi Pn,qn is in ^[-^^l) the other being in AZ[A2] . When g = 3 , we have G3 = PSL(2, Z) . In general each Gm is isomorphic to the free product of a cyclic group of order two and a cyclic group of order m. Recall that a Fuchsian triangle group is generated by even words in the reflections about the sides of some hyperbolic triangle. Thus any Fuchsian triangle group is of index two in the group generated by these reflections; for each G^, we denote this larger group by A^ . Since \m is the sum of the root of unity ^2™ := exp27r2/(2m) with its complex conjugate, Q{Xm) is a number field of degree d := </)(2m)/2 over the rationals, where (p denotes the Euler totient function. The following key phenomenon property of Hecke groups can be shown in various manners. The result holds for a larger class of groups, from Corollary 5 of |2l] , due to [10] (extending the arguments from Gm to Am is straightforward). Independent of this earlier work, Bogomolny-Schmit [S] gave a clever proof of the result specifically for A^ . See the next remark for another perspective. Theorem 2.1. Fix m as above, and let Am. be the full reflection group in which Gm has index two. Then for any M G Am whose trace is of absolute value greater than 2, we have I tr{M) \>\(t{ tr{M) ) | , where a is any field embedding of Q{Xm) ■ Remark 3. This result can be proven "geometrically". Up to conjugacy, each of the Hecke groups appears as the Veech group of some translation surface, see [SB]; the elements whose trace is of absolute value at least 2 are the "derivatives" of the affine pseudo-Anosov diffeomorphisms of the 8 YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT surface. The dilatation of a pseudo-Anosov is the dominant eigenvalue A of the action of on the integral homology of the underlying surface. (The other eigenvalues are hence conjugates of A.) The corresponding element of the Veech group has trace of absolute value A + A~^ from which it follows that this trace dominates its conjugates. 2.4. Approximation by algebraic numbers. The following result was announced by Roth [22] and proven by LeVeque, see Chapter 4 of [16] . (The version below is Theorem 2.5 of [7].) Recall that given an algebraic number a, its naive height, denoted by H{a) , is the largest absolute value of the coefficients of its minimal polynomial over Z . Theorem 2.2. (LeVeque) Let K he a number field, and ^ a real algebraic number not in K . Then, for any e > , there exists a positive constant c(^, K, e) such that \^ - a\ > H(aY+' holds for every a in K. The logarithmic Weil height of a lying in a number field K of degree D over Q is h{a) = jj ^^ log^ max,^gj\/^^,{| |a| |,^}, where log"*" t equals if t < 1 and Mk denotes the places (finite and infinite "primes") of the field, and II ■ III, is the //-absolute value. This definition is independent of the field K containing a. The two heights are related by (7) log H{a) < deg{a)h{a) + log 2, for any non-zero algebraic number a, see Lemma 3.11 from [27] . We recall a consequence of the W. Schmidt Subspace Theorem. Theorem 2.3. Let d be a positive integer and ^ be a real algebraic number of degree greater than d. Then, for every positive e, there exist only finitely many algebraic numbers a of degree at most d such that 1^ - a| < H{a) -d-l-e TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS Note that the Roth theorem is exactly the case d = 1 oi Theorem In the proof of Theorem 11.21 we could apply Theorem 12.31 but the al- gebraic numbers a which we use to approximate ^ are of degree at most 2 over a fixed number field. In this situation, the next theorem, kindly com- municated to us by Evertse [12], yields a stronger result than the previous one. Theorem 2.4. (Evertse) Let K he a real algebraic number field of degree d. Let t be a positive integer and ^ be a real algebraic number of degree greater than t over K . Then, for every positive e, there exist only finitely many algebraic numbers a of degree t over K and 5 over Q such that Note that Theorem 12.41 extends Theorem 12.21 2.5. Sturmian sequences: towards an application of Theorem 1.2. To give an explicit family of Rosen expansions satisfying the hypotheses of Theorem 1.2, we recall a result of |3] on Sturmian sequences. Let a and h be letters in some alphabet. The complexity function of a sequence u = U1U2 ■ ■ ■ with values in {a, h} is given by letting p{n, u) be the number of distinct words of length n that occur in u. A sequence u is called Sturmian if its complexity satisfies p(n, u) = n + 1 for all n. As Arnoux [1] writes, one can obtain any such sequence by taking a ray with irrational slope in the real plane and intersecting it with an integral grid, assigning a when the ray intersects a horizontal grid line and h when it meets a vertical grid line. Indeed, the slope of a Sturmian sequence is the density of a in the sequence (one shows that the limit as n tends to infinity of the average of the number of occurrences a'mui- ■ -Un exists, see |1], Proposition 6.1.10). Lemma 2.2. Let u be a Sturmian word whose slope has an unbounded regular continued fraction expansion. Then, for every positive integer n, there are finite words U, V and a positive real number s such that UV^ is a prefix of u and \ UV^ | > '^ | UV \ . Proof. This follows from the proof of Proposition 11.1 from [3]. D 10 YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT Remark 4. We apply the above lemma to Sturmian sequences where both a, b are of the form {e, r), with e = ±1 and r G N. In particular, we use this in the context of Rosen expansions to prove Corollary 14.11 3. Bounding the height of convergents In what follows, we fix A = A^ for some ?7i > 3, and suppose that ^ G (0, A/2) is a real algebraic number having an infinite Rosen continued fraction expansion over Q(A) . Our goal is to estimate the naive height H{pn/qn) of the nth convergent Pn/Qn- In light of Theorem l2.lt we let no be the least value of n such that qn > 2 . Lemma 3.1. Let c^ = c^iX) be defined by c^ = miug- \^ , where the minimum is taken over all field embeddings of Q(A) into M . Then for all n > hq, and any such a , we have both gn > C3 I a{qn) I and p„ > C3 | a{pn) \ ■ Proof. For any n > uq, recall that M„ = ( "~ "■ ) ; this is clearly an element of A„i . By Theorem 12.11 we have g„ + Pn-i > | (^{qn + Pn-i) I • Now let j G N and set %,_1 Pn\ [l jX\ fpn-l Pn+jXpn-l "'^ \qn-l qnj \0 I J \qn-l qn+jMn-l This is also an element of A^ of trace greater than 2, and hence I Pn~i + qn+ jAg„_i I > I cr(p„,„i + g„) + jcr(Ag„_i) I . Since this holds for all positive j , we must have that Ag„_i > | a{\qn-i] That is, qn^i > — T — \cr{qn^i)\ > I mm — - — I |fT(g„_i)| . Similarly, using we find Pn^l Pn\ Z' 1 0\ fPn^l+jXPn Pn qn^i qn) XJX 1/ \qn^i+3Mn qn Pn > — T — WiPnJl > I mm — - — I \a{pn)\ D TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS 11 Remark 5. We conjecture that in fact g„ is always greater than or equal to its conjugates, thus that in the above one can replace C3 by 1. Lemma 3.2. Let D denote the field extension degree [Q( A ) : Q] . There exists a constant C4 = C4(A) such that for all n > Uq, Proof. Since Pn and g„ are algebraic integers of degree at most D, it follows from Lemma [3. II that h{pn/qn) ^^ Jj logmax{|a(|)„)|, \a{qn)\} <c[ + logg„, (T where a runs through the complex embeddings, for a suitable positive con- stant C4. Using d?]), we get the asserted estimate. D Lemma 3.3. Let a be a real number in [—A/2, A/2) with an ultimately periodic expansion in Rosen continued fraction. Denote by {pn/<ln)n>i the sequence of its convergents. Denote by fi the length of the preperiod and by V the length of the period, with the convention that fi = if the expansion is purely periodic. Then a is of degree at most 2 over Q(A), and there exists C5 = C5(A,a) such that H{a) < C5(g^g^+^)^. Proof. In the notation of Equation (E]), a is fixed by M = M~^M^+j,. It thus satisfies a quadratic equation with entries in Z[A], and hence is of degree at most 2 over Q(A). Indeed, a is a root of /(x) = ex + {d — a)x — b with a, b, c, d denoting the entries of M. Each entry is a Z-linear combination of monomials of the form rs with r an entry of M^ and s an entry of M^j^y. Now, a is also a root of /(x) = Y\^ a{f){x) G Z[x], where a{f) denotes the result of applying a to the coefficients of f{x). By Lemma |3TT| all of the conjugates of each of p^,p^_i, g^_i, q^ can be bounded by the product of q^ with a constant depending upon a and A. Similarly for the entries of M^j^^. After some computation, we conclude that the height of a is <^ QuQu+u- (One checks that the case of /i = is subsumed by the above.) D Remark 6. Whereas a real number whose regular continued fraction expan- sion is ultimately periodic is exactly of degree two over the field of rational 12 YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT numbers, in the previous lemma the words "at most" are necessary. Indeed, X = 1 has an ultimately periodic Rosen expansion with respect to any A^ with m even, [2D]. Further examples of elements of Q(Am) with periodic expansions are easily given when m G {4,6}, see Corollary 1 of [23]. Yet further examples, including cases with m G {7,9}, are given in [21], [13] . 4. Transcendence results As usual, <^ and ^ denote inequality with implied constant. 4.1. Applying Roth— LeVeque: the proof of Theorem 11.11 We now show that the sequence of denominators of convergents to an algebraic num- ber cannot grow too quickly. Theorem 11.11 then follows. Proof. Let £ be a positive real number. Let ( be an algebraic number having an infinite Rosen expansion with convergents Vn/sn- By the Roth-LeVeque Theorem 12. 2[ we have |C-^n/sn| >^(r„/s„)~2-^ forn>l. And, hence by Lemma 13. 2^ for n > uq = uq^O, we have \( — r.„/s„| 3> s'"^^'^^ . Inequality (J6]) then gives that there exists a constant cq (indepen- dent oi n > uq) such that „ ^ „ „2D-1+De Sn+1 < CgS^ Set a = 2D — 1 + De . For j < uq, define ij such that Sj < (-jS°j_i . We set Ci = max{l, cq, ii, . . . , ^no-i} and find that for any n > 1 and continuing in this manner, we have s„+i < (cySi)"". Since s„+i > s„ letting Cg = cySi, gives logs„ < a^logcg . From this follows that loglogSn limsup < log(Z;(2 + e) — 1). n— >-+oo IT, Letting e go to zero, we see that every algebraic number satisfies log log s„ limsup < log(2i? — 1), n— >+oo IT, as asserted. D TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS 13 4.2. Proof of Theorem 11.21 and an application. Proof. With A = 2 cos n/m fixed, given ^ of infinite Rosen continued fraction with convergents {pn/c[n)n>i, we let b = liminf„g„ and B = limsup^gn , and assume that B < oo. Let r/ be a positive real number with 6—1 < rj < b. Since there are only finitely many n with either g„ < b — rfoi qn > B + r], we have both that qn^ ip — r])"' and g„ ^ (5 + 77)'" . Suppose that u; is a positive real number and U, V are finite words in {±1} X N such that UV"^ is a prefix of the infinite word composed of the partial quotients of ^. Denote by a the real number of degree at most two over Q(A) whose Rosen continued fraction is given by the word UV°°, where V^ means the concatenation of infinitely many copies of V. Set \U\ = u and 1 1^1 = V. Since ^ and a have their first [u + vw\ partial quotients in common, we have Furthermore, it follows from Lemma [3.31 that Hia) « {qu qu+.)'' « {B + r/)^(2.+.)^ Combined with the previous inequality, this gives 1^ - al < J^l^\-2{u+vw)\og{b-r))/{D{2u+v)\og{B+ri))^ Now suppose that ^ is algebraic of degree greater than two over Q(A). Then, for every e > 0, there exists a positive constant C{e) such that every real algebraic number /3 of degree at most 2 over Q(A) satisfies \i-P\>C{e)H{P) -3-e This follows from Theorem 12.21 if /3 is in Q{\) and, otherwise, by applying Theorem [Ml with t = 2 and t/t = 5 to each subfield K of Q(A). This proves that ^ must be transcendental if there are m, v, w such that u + vw is arbitrarily large and 2{u + vw)\ogb D{2u + v)\ogB ^ ' as asserted. D 14 YANN BUGEAUD, PASCAL HUBERT, AND THOMAS A. SCHMIDT Corollary 4.1. A Rosen continued fraction whose sequence of partial quo- tients is Sturmian with slope of unbounded regular continued fraction partial quotients represents a transcendental number. Proof. Combine Lemma 12.21 with the previous Theorem. D Remark 7. Using the Subspace Theorem as in [1] does not yield in general an improvement of Theorem II. 2[ In case u = 0,b = B, inequality (II]) reduces to w > 3D/2, while, proceeding as in [1], we would get w > 2D — 1. However, if b is much smaller than B and D is small, then the approach of [l] presumably gives a slightly better result than Theorem 11.21 References [1] B. Adamczcwski and Y. Bugcaud, On the complexity of algebraic numbers II. Con- tinued fractions, Acta Math. 195 (2005), 1-20. [2] , On the Maillet-Baker continued fractions, J. Reine Angew. Math. 606 (2007), 105-121. [3] , Nombres reels de complexite sous-lineaire : mesures d'irrationalite et de transcendance. J. Rcine Angcw. Math., to appear. [4] P. Arnoux, Sturmian sequences, in "Substitutions in dynamics, arithmetics and com- binatorics", 143-198, Lecture Notes in Math., 1794, Springer, Berhn, 2002. [5] P. Arnoux and P. Hubert, Fractions continues sur les surfaces de Veech, J. AnaL Math. 81 (2000), 35-64. [6] P. Arnoux and T. A. Schmidt, Veech surfaces with non-periodic directions in the trace field, J. Mod. Dyn. 3 (2009), no. 4, 611-629. [7] Y. Bugeaud, Approximation by algebraic numbers, Cambridge Tracts in Mathemat- ics, 160. Cambridge University Press, Cambridge, 2004. [8] E. Bogomolny and C. Schmit, Multiplicities of periodic orbit lengths for non- arithmetic models, J. Phys. A: Math. Gen. 37, (2004) 4501-4526. [9] R. Burton, C. Kraaikamp, and T.A. Schmidt, Natural extensions for the Rosen fractions, TAMS 352 (1999), 1277-1298. [10] P. Cohen and J. Wolfart, Modular embeddings for some nonarithmetic Fuchsian groups. Acta Arith. 56 (1990), no. 2, 93-110. [11] K. Dajani, C. Kraaikamp, W. Steiner, Metrical theory for a-Rosen fractions, J. Eur. Math. Soc. (JEMS) 11 (2009), no. 6, 1259-1283. [12] J.-H. Evertse, private communication. [13] E. Hanson, A. Merberg, C. Towse, and E. Yudovina, Generalized continued fractions and orbits under the action of Hecke triangle groups. Acta Arith. 134 (2008), no. 4, 337-348. [14] J. Lehner, Diophantine approximation on Hecke groups, Glasgow Math. J. 27 (1985), 117-127. [15] A. Leutbecher, Uber die Heckeschen Gruppen G(X), Abh. Math. Sem. Hamb. 31 (1967), 199-205. [16; [17; [is; [19 [2o; [21 [22; [23; [24 [25; [26; [27; TRANSCENDENCE WITH ROSEN CONTINUED FRACTIONS 15 W. J. LeVeque, Topics in number theory, Vols. 1 and 2. Addison- Wesley Publishing Co., Inc., Reading, Mass., 1956. D. Mayer and F. Stromberg, Symbolic dynamics for the geodesic flow on Hecke surfaces, J. Mod. Dyn. 2 (2008), no. 4, 581-627. H. Nakada, Continued fractions, geodesic flows and Ford circles, in Algorithms, Fractals and Dynamics edited by Y. Takahashi, 179-191, Plenum, 1995. , On the Lenstra constant associated to the Rosen continued fractions, J. Eur. Math. Soc. (JEMS) 12 (2010), no. 1, 55-70. D. Rosen, A class of continued fractions associated with certain properly discontin- uous groups, Duke Math. J. 21 (1954), 549-563. D. Rosen, C. Towsc, Continued fraction representations of units associated with certain Hecke groups. Arch. Math. (Basel) 77 (2001), no. 4, 294-302. K. F. Roth, Rational approximations to algebraic numbers, Mathematika 2 (1955) 1-20; corrigendum 168. T. A. Schmidt, M. Shcingorn, Length spectra of the Hecke triangle groups, Math. Z. 220 (1995), no. 3, 369-397. P. Schmutz Schaller and J. Wolfart, Semi- arithmetic Fuchsian groups and modular embeddings, J. London Math. Soc. (2) 61 (2000), no. 1, 13-24. J. Smillie and C. Ulcigrai, Geodesic flow on the Teichmiiller disk of the regular octagon, cutting sequences and octagon continued fractions maps, preprint (2010): ■arXiv:1004.2265' W.A. Vecch, Teichmiiller curves in modular space, Eisenstein series, and an appli- cation to triangular billiards, Inv. Math. 97 (1989), 553 - 583. M. Waldschmidt, Diophantine Approximation on Linear Algebraic Groups. Tran- scendence properties of the exponential function in several variables. Grundlehren der Mathematischen Wissenschaften 326. Springcr-Verlag, Berlin, 2000. Universite de Strasbourg, Mathematiques, 7, rue Rene Descartes, 67084 Strasbourg cedex, France E-mail address: bugeaud@math.unistra.fr LATP, CASE couR A, Faculte des sciences Saint Jerome, Avenue Escadrille NORMANDIE NiEMEN, 13397 MARSEILLE CEDEX 20, FRANCE E-mail address: liubert@cini.urLiv-mrs.fr Department of Mathematics, Oregon State University, Corvallis, OR 97331, USA E-mail address: toms@math.orst.edu